widget: Remove gtk_widget_list_devices() from private header

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 37ec32857aded118b08f77c161fddcc44cd25031..b12aeaedf46d0f8323f2650c7468e0bc92c627e4 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -7450,7 +7450,7 @@ gtk_widget_adjust_baseline_request (GtkWidget *widget,
  * with g_free(), the elements are owned by GTK and must
  * not be freed.
  */
-GdkDevice **
+static GdkDevice **
 _gtk_widget_list_devices (GtkWidget *widget,
                           guint     *out_n_devices)
 {

diff --git a/gtk/gtkwidgetprivate.h b/gtk/gtkwidgetprivate.h
index 9ab7f37f3c1a0204ccdd7c6450ea864007a72fa7..761a190e1d0da3a3ac6f10228868d4be8550601c 100644 (file)
--- a/gtk/gtkwidgetprivate.h
+++ b/gtk/gtkwidgetprivate.h
@@ -251,9 +251,6 @@ void              _gtk_widget_propagate_display_changed    (GtkWidget  *widget,
 void              _gtk_widget_set_device_surface           (GtkWidget *widget,
                                                             GdkDevice *device,
                                                             GdkSurface *pointer_window);
-GdkDevice **       _gtk_widget_list_devices                 (GtkWidget *widget,
-                                                             guint     *out_n_devices);
-
 void              _gtk_widget_synthesize_crossing          (GtkWidget       *from,
                                                             GtkWidget       *to,
                                                             GdkDevice       *device,